proof of normal subgroup